proof theory - French English Dictionary